Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Coffee flavour: an overview

Roberto A. Buffo, Claudio Cardelli-Freire
Журнал:
Flavour and Fragrance Journal
Рік:
2004
Мова:
english
Файл:
PDF, 69 KB
english, 2004
2

Type systems

Cardelli, Luca
Журнал:
ACM Computing Surveys
Рік:
1996
Мова:
english
Файл:
PDF, 170 KB
english, 1996
4

Types for the Ambient Calculus

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Журнал:
Information and Computation
Рік:
2002
Мова:
english
Файл:
PDF, 245 KB
english, 2002
5

Dynamic typing in a statically typed language

Abadi, Martín, Cardelli, Luca, Pierce, Benjamin, Plotkin, Gordon
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
1991
Мова:
english
Файл:
PDF, 1.94 MB
english, 1991
6

On understanding types, data abstraction, and polymorphism

Cardelli, Luca, Wegner, Peter
Журнал:
ACM Computing Surveys
Рік:
1985
Мова:
english
Файл:
PDF, 4.00 MB
english, 1985
8

Analytic expressions for magnetic field from finite curved conductors

Azzerboni, B., Cardelli, E., Raugi, M., Tellini, A., Tina, G.
Журнал:
IEEE Transactions on Magnetics
Рік:
1991
Мова:
english
Файл:
PDF, 429 KB
english, 1991
9

Basic polymorphic typechecking

Luca Cardelli
Журнал:
Science of Computer Programming
Рік:
1987
Мова:
english
Файл:
PDF, 1.47 MB
english, 1987
10

A theory of primitive objects: Second-order systems

Martín Abadi, Luca Cardelli
Журнал:
Science of Computer Programming
Рік:
1995
Мова:
english
Файл:
PDF, 2.04 MB
english, 1995
11

A semantics of multiple inheritance

Luca Cardelli
Журнал:
Information and Computation
Рік:
1988
Мова:
english
Файл:
PDF, 1.36 MB
english, 1988
12

Analysis of an arc-driven railgun for fusion fuel pellet injection

Azzerboni, B., Cardelli, E., Raugi, M., Tellini, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
1990
Мова:
english
Файл:
PDF, 380 KB
english, 1990
13

Numerical Modeling of Hysteresis in Si-Fe Steels

Cardelli, Ermanno, Torre, Edward Della, Faba, Antonio
Журнал:
IEEE Transactions on Magnetics
Рік:
2014
Мова:
english
Файл:
PDF, 1.30 MB
english, 2014
14

Electromagnetic and thermal analysis of muzzle-fed railguns

Cardelli, E.
Журнал:
IEEE Transactions on Magnetics
Рік:
1995
Мова:
english
Файл:
PDF, 434 KB
english, 1995
15

On subtyping and matching

Abadi, Martín, Cardelli, Luca
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
1996
Мова:
english
Файл:
PDF, 261 KB
english, 1996
16

Prediction and Control of Transformer Inrush Currents

Cardelli, Ermanno, Faba, Antonio, Tissi, Francesco
Журнал:
IEEE Transactions on Magnetics
Рік:
2015
Мова:
english
Файл:
PDF, 854 KB
english, 2015
17

[Monographs in Computer Science] A Theory of Objects ||

Abadi, Martín, Cardelli, Luca
Рік:
1996
Мова:
english
Файл:
PDF, 26.54 MB
english, 1996
18

Subtyping recursive types

Amadio, Roberto M., Cardelli, Luca
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
1993
Мова:
english
Файл:
PDF, 3.13 MB
english, 1993
19

The Formal Language and Design Principles of Autonomous DNA Walker Circuits

Boemo, Michael A., Lucas, Alexandra E., Turberfield, Andrew J., Cardelli, Luca
Журнал:
ACS Synthetic Biology
Рік:
2016
Мова:
english
Файл:
PDF, 735 KB
english, 2016
20

Explicit substitutions

Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.
Журнал:
Journal of Functional Programming
Рік:
1991
Мова:
english
Файл:
PDF, 1.67 MB
english, 1991
21

Soil affects throughfall and stemflow under Turkey oak ( Quercus cerris L.)

Corti, G., Agnelli, A., Cocco, S., Cardelli, V., Masse, J., Courchesne, F.
Журнал:
Geoderma
Рік:
2019
Мова:
english
Файл:
PDF, 788 KB
english, 2019
22

Central Limit Model Checking

Bortolussi, Luca, Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca
Журнал:
ACM Transactions on Computational Logic
Рік:
2019
Мова:
english
Файл:
PDF, 2.94 MB
english, 2019
24

Vector modeling—Part I: Generalized hysteresis model

E. Della Torre, E. Pinzaglia, E. Cardelli
Журнал:
Physica B: Condensed Matter
Рік:
2006
Мова:
english
Файл:
PDF, 178 KB
english, 2006
26

A comparison of soil quality in adjacent cultivated, forest and native grassland soils

A. Saviozzi, R. Levi-Minzi, R. Cardelli, R. Riffaldi
Журнал:
Plant and Soil
Рік:
2001
Мова:
english
Файл:
PDF, 99 KB
english, 2001
28

Analysis methodologies and experimental benchmarks for eddy current testing

Cardelli, E., Faba, A., Specogna, R., Tamburrino, A., Trevisan, F., Ventre, S.
Журнал:
IEEE Transactions on Magnetics
Рік:
2005
Мова:
english
Файл:
PDF, 301 KB
english, 2005
29

Numerical Implementation of the DPC Model

Cardelli, E., Della Torre, E., Faba, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
2009
Мова:
english
Файл:
PDF, 250 KB
english, 2009
30

A General Vector Hysteresis Operator: Extension to the 3-D Case

Cardelli, E., Della Torre, E., Faba, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
2010
Мова:
english
Файл:
PDF, 1.06 MB
english, 2010
31

Analysis of a Unit Magnetic Particle Via the DPC Model

Cardelli, E., Della Torre, E., Faba, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
2009
Мова:
english
Файл:
PDF, 167 KB
english, 2009
32

Theoretical Considerations of Magnetic Hysteresis and Transformer Inrush Current

Cardelli, E., Della Torre, E., Esposito, V., Faba, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
2009
Мова:
english
Файл:
PDF, 146 KB
english, 2009
33

Energy and Losses in Vector Thermal Aftereffect Model

Cardelli, E., Torre, E., Faba, A., Ovichi, M.
Журнал:
IEEE Transactions on Magnetics
Рік:
2013
Мова:
english
Файл:
PDF, 502 KB
english, 2013
34

Modelling of electromagnetic interferences produced by a railgun

Canavero, F., Cardelli, E., Raugi, M., Tellini, A.
Журнал:
IEEE Transactions on Magnetics
Рік:
1993
Мова:
english
Файл:
PDF, 397 KB
english, 1993
35

Evolution of Biochemical Parameters During Composting of Urban Wastes

Saviozzi, A., Cardelli, R., Levi-Minzi, R., Riffaldi, R.
Журнал:
Compost Science & Utilization
Рік:
2004
Мова:
english
Файл:
PDF, 159 KB
english, 2004
36

GALILEO: a strongly-typed, interactive conceptual language

Albano, Antonio, Cardelli, Luca, Orsini, Renzo
Журнал:
ACM Transactions on Database Systems
Рік:
1985
Мова:
english
Файл:
PDF, 2.24 MB
english, 1985
37

A neural approach for the numerical modeling of two-dimensional magnetic hysteresis

Cardelli, E., Faba, A., Laudani, A., Riganti Fulginei, F., Salvini, A.
Журнал:
Journal of Applied Physics
Рік:
2015
Мова:
english
Файл:
PDF, 923 KB
english, 2015
42

Formal parametric polymorphism

M. Abadi, L. Cardelli, P.-L. Curien
Журнал:
Theoretical Computer Science
Рік:
1993
Мова:
english
Файл:
PDF, 2.41 MB
english, 1993
43

About the role of hysteresis in magnetic penetration at extremely low frequency

E. Cardelli, S. Di Fraia, A. Faba, B. Tellini
Журнал:
Physica B: Condensed Matter
Рік:
2004
Мова:
english
Файл:
PDF, 170 KB
english, 2004
44

Suitability of a winery-sludge as soil amendment

A. Saviozzi, R. Levi-Minzi, R. Riffaldi, R. Cardelli
Журнал:
Bioresource Technology
Рік:
1994
Мова:
english
Файл:
PDF, 608 KB
english, 1994
46

Sulphur mineralization kinetics as influenced by soil properties

R. Riffaldi, A. Saviozzi, R. Cardelli, S. Cipolli, R. Levi-Minzi
Журнал:
Biology and Fertility of Soils
Рік:
2006
Мова:
english
Файл:
PDF, 114 KB
english, 2006
48

Suitability of Moist Olive Pomace as Soil Amendment

A. Saviozzi, R. Levi-Minzi, R. Cardelli, A. Biasci, R. Riffaldi
Журнал:
Water, Air & Soil Pollution
Рік:
2001
Мова:
english
Файл:
PDF, 94 KB
english, 2001
49

An Extension of System F with Subtyping

L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov
Журнал:
Information and Computation
Рік:
1994
Файл:
PDF, 1.52 MB
1994
50

A Theory of Primitive Objects: Untyped and First-Order Systems

Martı&amp, #x0301, n Abadi, Luca Cardelli
Журнал:
Information and Computation
Рік:
1996
Мова:
english
Файл:
PDF, 1.07 MB
english, 1996